Reverse mathematics and initial intervals
نویسندگان
چکیده
In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered and does not contain infinite antichains if and only if it has countably many initial intervals. We show that the left to right directions of these theorems are equivalent with ACA0 and ATR0, respectively. On the other hand, the opposite directions are both provable in WKL0, but not in RCA0. We also prove the equivalence with ACA0 of the following result of Erdös and Tarski: a partial order with no infinite strong antichains has no arbitrarily large finite strong antichains.
منابع مشابه
Dynamics of higher order rational difference equation $x_{n+1}=(alpha+beta x_{n})/(A + Bx_{n}+ Cx_{n-k})$
The main goal of this paper is to investigate the periodic character, invariant intervals, oscillation and global stability and other new results of all positive solutions of the equation$$x_{n+1}=frac{alpha+beta x_{n}}{A + Bx_{n}+ Cx_{n-k}},~~ n=0,1,2,ldots,$$where the parameters $alpha$, $beta$, $A$, $B$ and $C$ are positive, and the initial conditions $x_{-k},x_{-k+1},ldots,x_{-1},x_{0}$ are...
متن کاملVanishing Waves on Closed Intervals and Propagating Short-Range Phenomena
This study presents mathematical aspects of wave equation considered on closed space intervals. It is shown that a solution of this equation can be represented by a certain superposition of traveling waves with null values for the amplitude and for the time derivatives of the resulting wave in the endpoints of this interval. Supplementary aspects connected with the possible existence of initial...
متن کاملSolving Some Initial-Boundary Value Problems Including Non-classical Cases of Heat Equation By Spectral and Countour Integral Methods
In this paper, we consider some initial-boundary value problems which contain one-dimensional heat equation in non-classical case. For this problem, we can not use the classical methods such as Fourier, Laplace transformation and Fourier-Birkhoff methods. Because the eigenvalues of their spectral problems are not strictly and they are repeated or we have no eigenvalue. The presentation of the s...
متن کاملOn a New Reverse Hilbert\'s Type Inequality
In this paper, by using the Euler-Maclaurin expansion for the Riemann-$zeta$ function, we establish an inequality of a weight coefficient. Using this inequality, we derive a new reverse Hilbert's type inequality. As an applications, an equivalent form is obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 165 شماره
صفحات -
تاریخ انتشار 2014